Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Lire la suiteIn the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...
Lire la suiteThis book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...
Lire la suite